University of Oslo - PDFSEARCH.IO - Document Search Engine

University of Oslo
Results: 811

#	Item
61	NORWEGIAN UNIVERSITY OF LIFE SCIENCES DEPARTMENT OF INTERNATIONAL ENVIRONMENT AND DEVELOPMENT STUDIES Curriculum Vitae (January, Professor Dr RUTH HAUG Add to Reading List Source URL: www.umb.no Language: English - Date: 2014-01-20 06:55:40 Haug CGIAR Norwegian University of Life Sciences Development Fund Oslo Bioforsk International agricultural research
62	A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2015-09-03 07:24:29 Model theory First-order logic Type Hoare logic Unification
63	How to get to the SIRIUS Centre The SIRIUS Centre is hosted by the Department of Informatics at the University of Oslo. We are located on the 8th Floor of Ole-Johan Dahls hus, Gaustadaléen 23B, 0373 Oslo. Add to Reading List Source URL: sirius-labs.no Language: English - Date: 2016-05-12 09:10:03 Oslo Metro Rapid transit in Norway Blindern Tsen Forskningsparken Oslo Jernbanetorget Sognsvann Line Ring Line
64	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification
65	Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo March 22, 1999 Abstract Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Data types Subroutines Recursion Procedural programming languages Cross-platform software Fold Stack ALGOL 68 Pointer Lua Go Record
66	EVIDENCE FOR VIGOROUS CRETACEOUS MANTLE DYNAMICS FROM LARGE IGNEOUS PROVINCES Millard F. Coffin, Institute for Geophysics, The University of Texas at Austin, and Olav Eldholm, Department of Geology, University of Oslo C Add to Reading List Source URL: www.odplegacy.org Language: English - Date: 2014-09-04 08:44:56 Plate tectonics Volcanology Geomorphology Orogeny Petrology Large igneous province Flood basalt Hotspot Basalt Volcanic passive margin Passive margin Oceanic plateau
67	UNIVERSITY OF OSLO Department of Informatics A notation for combining formal reasoning, object Add to Reading List Source URL: folk.uio.no Language: English - Date: 2000-01-14 06:08:56 Object-oriented programming Inheritance Class Is-a Subtyping Method Objective-C Interface Polymorphism Multiple inheritance Object Constant
68	ThReD Conference 2013 Theoretical Research in Development EconomicsJune 2013, University of Oslo (Georg Sverdrups hus, Aud. 2) Day 1: Friday 28 June Add to Reading List Source URL: thred.devecon.org Language: English - Date: 2013-07-04 12:37:51 Garance Genicot Debraj Ray University of Oslo Kjetil Storesletten
69	“So Glad to be at Home Again”: L. Frank Baum’s The Wonderful Wizard of Oz as a Rereading of Homer’s Odyssey © Silvio Bär, University of Oslo. ABSTRACT In this paper, L. Frank Baum’s literary fairy tale The Wo Add to Reading List Source URL: www2.open.ac.uk - Date: 2015-02-12 09:11:03
70	A South African Big Picture for Teaching and Learning The Politics of Learning and Teaching in SA Add to Reading List Source URL: uv-net.uio.no Language: English - Date: 2016-06-29 12:01:12 University of Oslo Social exclusion